Nonlinear Code-Based Low-Overhead Fine-Grained Control Flow Checking
نویسندگان
چکیده
A hardware-based control flow monitoring technique enables the detection of errors in both and instruction stream executed on a processor. However, as shown recent publications, these techniques fail to detect malicious carefully-tuned manipulations basic block. This article presents non-linear encoder checker that can cope with this weakness. It is MAC based has advantage working blocks variable length, every error, performs computation real-time. The architecture easily be modified support different signature size error masking probabilities.
منابع مشابه
VST-Flow: Fine-grained low-level reasoning about real-world C code
We show how support for information-flow security proofs could be added on top of the Verified Software Toolchain (VST). We discuss several attempts to define information flow security in a VSTcompatible way, and present a statement of information flow security in “continuation-passing” style. Moreover, we present Hoare rules augmented with information flow control assertions, and sketch how th...
متن کاملA Ramp Code for Fine-grained Access Control
Threshold ramp secret sharing schemes are designed so that (i) certain subsets of shares have no information about the secret, (ii) some subsets have partial information about the secret and (iii) some subsets have complete information to recover the secret. However most of the ramp schemes in present literature do not control the leakage of information in partial access sets, due to which the ...
متن کاملModular Safety Checking for Fine-Grained Concurrency
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacerbate this problem, because threads interfere more often and in richer ways. In this paper we provide a thread-modular safety checker for a class of pointermanipulating fine-grained concurrent algorithms. Our checker u...
متن کاملParameterized Model Checking of Fine Grained Concurrency
Concurrent data structures are provided in libraries such as Intel Thread Building Blocks and Java.util.concurrent to enable efficient implementation of multi-threaded programs. Their efficiency is achieved by using fine grained synchronization which creates less constrained interaction between the threads. This leads to a large number of possible interleavings and makes concurrent data structu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computers
سال: 2022
ISSN: ['1557-9956', '2326-3814', '0018-9340']
DOI: https://doi.org/10.1109/tc.2021.3057132